representable functors

[网络] 代表性的函子